Optimal. Leaf size=51 \[ \frac{(e x)^{q+1} \left (a+b \log \left (c \left (d x^m\right )^n\right )\right )}{e (q+1)}-\frac{b m n (e x)^{q+1}}{e (q+1)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0457418, antiderivative size = 51, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 2, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.1, Rules used = {2304, 2445} \[ \frac{(e x)^{q+1} \left (a+b \log \left (c \left (d x^m\right )^n\right )\right )}{e (q+1)}-\frac{b m n (e x)^{q+1}}{e (q+1)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2304
Rule 2445
Rubi steps
\begin{align*} \int (e x)^q \left (a+b \log \left (c \left (d x^m\right )^n\right )\right ) \, dx &=\operatorname{Subst}\left (\int (e x)^q \left (a+b \log \left (c d^n x^{m n}\right )\right ) \, dx,c d^n x^{m n},c \left (d x^m\right )^n\right )\\ &=-\frac{b m n (e x)^{1+q}}{e (1+q)^2}+\frac{(e x)^{1+q} \left (a+b \log \left (c \left (d x^m\right )^n\right )\right )}{e (1+q)}\\ \end{align*}
Mathematica [A] time = 0.012254, size = 37, normalized size = 0.73 \[ \frac{x (e x)^q \left (a q+a+b (q+1) \log \left (c \left (d x^m\right )^n\right )-b m n\right )}{(q+1)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.086, size = 0, normalized size = 0. \begin{align*} \int \left ( ex \right ) ^{q} \left ( a+b\ln \left ( c \left ( d{x}^{m} \right ) ^{n} \right ) \right ) \, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.928524, size = 186, normalized size = 3.65 \begin{align*} \frac{{\left ({\left (b q + b\right )} x \log \left (c\right ) +{\left (b n q + b n\right )} x \log \left (d\right ) +{\left (b m n q + b m n\right )} x \log \left (x\right ) -{\left (b m n - a q - a\right )} x\right )} e^{\left (q \log \left (e\right ) + q \log \left (x\right )\right )}}{q^{2} + 2 \, q + 1} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 9.99231, size = 112, normalized size = 2.2 \begin{align*} a \left (\begin{cases} 0^{q} x & \text{for}\: e = 0 \\\frac{\begin{cases} \frac{\left (e x\right )^{q + 1}}{q + 1} & \text{for}\: q \neq -1 \\\log{\left (e x \right )} & \text{otherwise} \end{cases}}{e} & \text{otherwise} \end{cases}\right ) - b m n \left (\begin{cases} 0^{q} x & \text{for}\: \left (e = 0 \wedge q \neq -1\right ) \vee e = 0 \\\frac{\begin{cases} \frac{e e^{q} x x^{q}}{q + 1} & \text{for}\: q \neq -1 \\\log{\left (x \right )} & \text{otherwise} \end{cases}}{e q + e} & \text{for}\: q > -\infty \wedge q < \infty \wedge q \neq -1 \\\frac{\log{\left (e x \right )}^{2}}{2 e} & \text{otherwise} \end{cases}\right ) + b \left (\begin{cases} 0^{q} x & \text{for}\: e = 0 \\\frac{\begin{cases} \frac{\left (e x\right )^{q + 1}}{q + 1} & \text{for}\: q \neq -1 \\\log{\left (e x \right )} & \text{otherwise} \end{cases}}{e} & \text{otherwise} \end{cases}\right ) \log{\left (c \left (d x^{m}\right )^{n} \right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.3412, size = 150, normalized size = 2.94 \begin{align*} \frac{b m n q x x^{q} e^{q} \log \left (x\right )}{q^{2} + 2 \, q + 1} + \frac{b m n x x^{q} e^{q} \log \left (x\right )}{q^{2} + 2 \, q + 1} - \frac{b m n x x^{q} e^{q}}{q^{2} + 2 \, q + 1} + \frac{b n x x^{q} e^{q} \log \left (d\right )}{q + 1} + \frac{b x x^{q} e^{q} \log \left (c\right )}{q + 1} + \frac{a x x^{q} e^{q}}{q + 1} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]